Search Results for 'verification of functional programs in'

verification of functional programs in published presentations and documents on DocSlides.

Contract-based Resource Verification for

by calandra-battersby

Higher-order Functions with . Memoization. Ravich...

Verification of Functional Programs in

by danika-pritchard

Scala. Philippe Suter. (joint work w/ Ali . Sinan...